∀(xs : List Natural) → Natural
